Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
261	PDF Document Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2010-01-11 05:45:43 Quantum mechanics Linear temporal logic Temporal logic
262	Towards Classifying Propositional Probabilistic Logics Glauber De Bona, Fabio Gagliardi Cozman and Marcelo Finger University of São Paulo, Brazil Probabilistic logics are commonly designed by adding probabilistic opera Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:05 Non-classical logic Philosophy of language Formal languages Probabilistic logic Interpretation Proposition Well-formed formula Logical connective Linear temporal logic Logic Mathematical logic Propositional calculus
263	Dr. Manuel Bodirsky Curriculum Vitae Born December 30, 1976, in Freiburg im Breisgau, Germany. German citizenship. Married with Michaela Metzger, three children: Lewin Bodirsky, born April 25, 2006. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-02-07 06:50:56 Software engineering Constraint satisfaction Complexity of constraint satisfaction Local consistency Mathematical optimization Spatial–temporal reasoning Combinatorial optimization Linear programming Logic programming Constraint programming Theoretical computer science Applied mathematics
264	Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-02-25 06:27:38 Mathematics Operator theory Μ operator Interpretation Symbol First-order logic Function Operator Linear temporal logic Mathematical logic Logic Model theory
265	History Matching of Petroleum Reservoirs Using a Level Set Technique Oliver Dorn and Rossmary Villegas Modelling and Numerical Simulation Group, Universidad Carlos III de Madrid, Avenida de la Universidad 30, Leganes 289 Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2009-05-28 12:41:33 Functional analysis Distribution Dirac delta function Function Linear temporal logic Mathematical analysis Mathematics Generalized functions
266	On the Constructive Dedekind Reals Robert S. Lubarsky Department of Mathematical Sciences, Florida Atlantic University 777 Glades Road Boca Raton, FL 33431, USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2007-09-21 15:25:43 Metalogic Interpretation Symbol Structure Forcing Elementary equivalence Linear temporal logic Μ operator Model theory Mathematical logic Logic
267	Deciding Safety and Liveness in TPTL David Basina , Carlos Cotrini Jim´eneza,∗, Felix Klaedtkeb,1 , Eugen Z˘alinescua a Institute of Information Security, ETH Zurich, Switzerland Europe Ltd., Heidelberg, Germany Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-06-24 05:41:33 Model theory Structure Logic Physics Holomorphic functional calculus Itō diffusion Mathematics Linear temporal logic Temporal logic
268	Progress In Electromagnetics Research Symposium 2006, Cambridge, USA, March[removed]Detection of Small Tumors in Microwave Medical Imaging Using Level Sets and Music Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2009-05-28 12:41:32 Quantum mechanics M-estimators Robust statistics Linear temporal logic Mathematics Functions and mappings Function
269	Existence of strong solutions for Stochastic porous media equation under general monotonicity conditions Viorel Barbu Add to Reading List Source URL: download.sns.it Language: English - Date: 2007-03-20 11:20:02 Linear temporal logic Spectral theory of ordinary differential equations Calculus of variations Mathematical analysis Mathematics
270	IKP and Friends Robert S. Lubarsky∗ 1755 NE 18th St. Ft. Lauderdale, FL[removed]USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-05 14:18:17 Model theory Constructible universe Mathematical logic Proof theory Μ operator Linear temporal logic Mathematics Logic Function

UPDATE